大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Rational Fault Analysis 的图书(共6629本)

Pattern Recognition and Image Analysis [electronic resource] : Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II

0
索取号：
作者：Singh、 Sameer.、Singh、 Maneesha.、Apte、 Chid.、Perner、 Petra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sagiv、 Mooly.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号：
作者：Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

0
索取号：
作者：Hankin、 Chris.、Siveroni、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

0
索取号：
作者：Peled、 Doron A.、Tsay、 Yih-Kuen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

0
索取号：
作者：Bressan、 St茅phane.、Ceri、 Stefano.、Hunt、 Ela.、Ives、 Zachary G.、Bellahs猫ne、 Zohra.、Rys、 Michael.、Unland、 Rainer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network Analysis [electronic resource] : Methodological Foundations

0
索取号：
作者：Brandes、 Ulrik.、Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithms-ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

0
索取号：
作者：Brodal、 Gerth St酶lting.、Leonardi、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Intelligent Systems [electronic resource] : 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings

0
索取号：
作者：Hacid、 Mohand-Said.、Murray、 Neil V.、Ra艣、 Zbigniew W.、Tsumoto、 Shusaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Pattern Recognition [electronic resource] : 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005. Proceedings

0
索取号：
作者：Kropatsch、 Walter G.、Sablatnig、 Robert.、Hanbury、 Allan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 鈥൬ 2004, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Image Analysis and Recognition [electronic resource] : Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings

0
索取号：
作者：Kamel、 Mohamed.、Campilho、 Aur茅lio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Gorrieri、 Roberto.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Intelligent Data Analysis VI [electronic resource] : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings

0
索取号：
作者：Famili、 A. Fazel.、Kok、 Joost N.、Pe帽a、 Jos茅 M.、Siebes、 Arno.、Feelders、 Ad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Smart Graphics [electronic resource] : 5th International Symposium, SG 2005, Frauenw枚rth Cloister, Germany, August 22-24, 2005. Proceedings

0
索取号：
作者：Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.